Beweisalgorithmus

Beweisalgorithmus
(m)
алгоритм доказательства, алгоритм, дающий доказательство

Немецко-русский математический словарь. 2013.

Игры ⚽ Поможем написать реферат

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»